Nuprl Definition : islocal 11,40
islocal(k) == isl(k) 
latex

Definitionsisl(x), b
FDL editor aliasesislocal

origin